Formally Bounding UAS Behavior to Concept of Operation with Operation-Specific Scenario Description Language

Previous work introduced an approach for formally describing the concept of operations for unmanned aircraft. For this purpose, an existing language for simulation scenario description was adapted. In the context of the specific operation category, an upcoming European regulation for the operation of unmanned aircraft, the description and acceptance of the concept of operations plays a major role for flight approval on a per mission basis. This paper extends the previous approach further with combining the formalized description of the concept of operations with our existing approach for runtime monitoring. Monitoring the behavior at runtime can be used to enforce certain limits on the behavior. Therefore, the concept of operations is an ideal input for the monitoring approach. As a basis for the information relevant for the concept of operations the official annex to the guidelines document for the specific operation risk assessment is used, as well as an internal concept of operations document for a DLR research unmanned aircraft system

Sailplanes and powered sailplanes

Change no. 5SIGLEAvailable from British Library Document Supply Centre-DSC:4672.2503V(JAR 22) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Approved maintenance organisations

SIGLEAvailable from British Library Document Supply Centre- DSC:4672.2503(JAA-JAR--145) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

The development of local authority airports in the 1990s

5.00; a series of papers presented to the JACOLA Conference, Dundee (GB), 5 Dec 1989Available from British Library Document Supply Centre- DSC:OP/LG-6846 / BLDSC - British Library Document Supply CentreSIGLE1. edGBUnited Kingdo

Monitoring the Berkshire structure plan 1991-2006 Third annual report

SIGLEAvailable from British Library Document Supply Centre-DSC:5908.9866(1999) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Planning commitments for employment uses at March 1999 The Berkshire area summary tables

SIGLEAvailable from British Library Document Supply Centre-DSC:6509.05062(1999) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Planning commitments for employment uses at March 1999 Wokingham district

SIGLEAvailable from British Library Document Supply Centre-DSC:6509.05068(1999) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Planning commitments for employment uses at March 1999 Reading Borough

SIGLEAvailable from British Library Document Supply Centre-DSC:6509.05067(1999) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Planning commitments for employment uses at March 1999 Slough Borough

SIGLEAvailable from British Library Document Supply Centre-DSC:6509.050675(1999) / BLDSC - British Library Document Supply CentreGBUnited Kingdo